The condition that members of an ordered pair from a set G combine to yield a member of G.